// © 2020 and later: Unicode, Inc. and others.
// License & terms of use: http://www.unicode.org/copyright.html

// Increase the side bar width as some of the page titles don't fit in the default size.
$nav-width: 284px;

// Increase the main content area width as some tables assume a larger size.
$content-width: 900px;
